2

Inconsistency of production systems

Year:
1989
Language:
english
File:
PDF, 1.21 MB
english, 1989
3

Equivalence of propositional Prolog programs

Year:
1990
Language:
english
File:
PDF, 828 KB
english, 1990